body {
	font-family: "Times New Roman", serif
}

h1 {
	font: bold 135% Arial, sans-serif;
	color: #4000A0;
	margin-bottom: 0.9em
}

h2 {
	font: bold 95% Arial, sans-serif;
	color: #900000;
	margin-top: 1.5em;
	margin-bottom: 1em
}

dl.param dt {
	text-decoration: underline
}

dl.param dd {
	margin-top: 1em;
	margin-bottom: 1em
}

dl.param ul {
	margin-top: 1em;
	margin-bottom: 1em
}

tt,code,kbd {
	font-family: "Courier New", Courier, monospace;
	font-size: 82%
}

div.source {
	margin-top: 1.4em;
	margin-bottom: 1.3em
}

div.source pre {
	display: table;
	border: 1px solid #24246A;
	width: 100%;
	margin: 0em;
	font-family: inherit;
	font-size: 100%
}

div.source code {
	display: block;
	border: 1px solid #C5C5EC;
	background-color: #F0F5FF;
	padding: 6px;
	color: #000000
}

div.doc-source {
	margin-top: 1.4em;
	margin-bottom: 1.3em
}

div.doc-source pre {
	display: table;
	width: 100%;
	margin: 0em;
	font-family: inherit;
	font-size: 100%
}

div.doc-source code {
	display: block;
	background-color: #E0E0E0;
	padding: 4px
}

.kw {
	color: #000080;
	font-weight: bold
}

.str {
	color: #CC0000
}

.cmt {
	color: #008000
}

p.demo {
	text-align: center;
	margin-top: -0.9em
}

a.demo {
	text-decoration: none;
	font-weight: bold;
	color: #0000CC
}

a.demo:link {
	text-decoration: none;
	font-weight: bold;
	color: #0000CC
}

a.demo:hover {
	text-decoration: none;
	font-weight: bold;
	color: #0000FF
}

a.demo:active {
	text-decoration: none;
	font-weight: bold;
	color: #0000FF
}